Publications of Elie FARES
Elie Fares, Jean-Paul Bodeveix, M Filali
Event algebra for transition systems composition Application to timed automata
Acta Informatica, 2018, 55, pp.363-400. ⟨10.1007/s00236-017-0302-9⟩
Elie Fares, Jean-Paul Bodeveix, Mamoun Filali
Event Algebra for Transition Systems Composition – Application to Timed Automata (regular paper)
In : International Symposium on Temporal Representation and Reasoning (TIME 2013), Penscacolq, FL, USA, 26/09/13-28/09/13, IEEE Computer Society – Conference Publishing Services, pp. 125-132, 2013.
Elie Fares, Jean-Paul Bodeveix, Mamoun Filali, Manuel Garnacho
An Automatic Technique for Checking the Simulation of Timed Systems (regular paper)
In : Automated Technology for Verification and Analysis, Hanoi, Vietnam, 15/10/13-18/10/13, Vol. 8172, Springer-Verlag, Lecture Notes in Computer Science, pp. 71-86, October 2013.
Elie Fares, Jean-Paul Bodeveix, Mamoun Filali
Design of a BPEL verification tool (regular paper)
In : International Workshop on Web Services and Formal Methods, Clermont-Ferrand, 01/09/11-02/09/11, Springer, pp. 95-109, February 2012.
Elie Fares, Jean-Paul Bodeveix, Mamoun Filali
A Transformation and Verification Framework for BPEL
In : Services et Langages et modèles à l’exécution, LILLE GDR GPL, 10/06/11-10/06/11.
Elie Fares, Jean-Paul Bodeveix, Mamoun Filali
Verification of Timed BPEL 2.0 Models (regular paper)
In : Business Process Modeling, Development and Support (BPMDS 2011), London, 20/06/11-21/06/11, Terry Halpin, Selmin Nurcan, John Krogstie, Pnina Soffer, Erik Proper (Eds.), Springer, LNBIP 81, pp. 261-275, June 2011.
Raffinement de systèmes temps réel. Application à la vérification de services WEB
Master’s Thesis, Université Paul Sabatier, March 2013.